<html>
<head><meta charset="utf-8"><title>The PR that bors forgot · t-infra · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/index.html">t-infra</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/The.20PR.20that.20bors.20forgot.html">The PR that bors forgot</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="242145436"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/The%20PR%20that%20bors%20forgot/near/242145436" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/The.20PR.20that.20bors.20forgot.html#242145436">(Jun 09 2021 at 23:56)</a>:</h4>
<p>Bors isn't responding to any command (including ping) on this PR: <a href="https://github.com/rust-lang/rust/pull/82639">https://github.com/rust-lang/rust/pull/82639</a></p>



<a name="242145780"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/The%20PR%20that%20bors%20forgot/near/242145780" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eric Huss <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/The.20PR.20that.20bors.20forgot.html#242145780">(Jun 10 2021 at 00:01)</a>:</h4>
<p><span class="user-mention" data-user-id="125294">@Aaron Hill</span> Maybe try closing and reopening?  </p>
<p>When it isn't listed in <a href="https://bors.rust-lang.org/queue/rust">https://bors.rust-lang.org/queue/rust</a>, it has fallen out of the database and needs to be re-inserted.</p>



<a name="242145931"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/The%20PR%20that%20bors%20forgot/near/242145931" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/The.20PR.20that.20bors.20forgot.html#242145931">(Jun 10 2021 at 00:03)</a>:</h4>
<p>Oh no: <a href="/user_uploads/4715/IIzxwP6Uy-8ngc5622LfkSSs/double_pending.png">double_pending.png</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/IIzxwP6Uy-8ngc5622LfkSSs/double_pending.png" title="double_pending.png"><img src="/user_uploads/4715/IIzxwP6Uy-8ngc5622LfkSSs/double_pending.png"></a></div>



<a name="242145943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/The%20PR%20that%20bors%20forgot/near/242145943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Aaron Hill <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/The.20PR.20that.20bors.20forgot.html#242145943">(Jun 10 2021 at 00:03)</a>:</h4>
<p>I'm just going to stop touching that PR for now</p>



<a name="242147581"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/The%20PR%20that%20bors%20forgot/near/242147581" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Joshua Nelson <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/The.20PR.20that.20bors.20forgot.html#242147581">(Jun 10 2021 at 00:31)</a>:</h4>
<p>Lol I appear to be breaking things as usual <span aria-label="rolling on the floor laughing" class="emoji emoji-1f923" role="img" title="rolling on the floor laughing">:rolling_on_the_floor_laughing:</span></p>



<a name="242148122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/242791-t-infra/topic/The%20PR%20that%20bors%20forgot/near/242148122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Eric Huss <a href="https://rust-lang.github.io/zulip_archive/stream/242791-t-infra/topic/The.20PR.20that.20bors.20forgot.html#242148122">(Jun 10 2021 at 00:40)</a>:</h4>
<p>It should be running fine now.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>